Program Compatibility Approaches
نویسندگان
چکیده
This paper is a survey of several techniques that have proven useful in establishing compatibility among behaviorally similar programs (e.g., system upgrades, object suband supertypes, system components produced by different vendors, etc.). We give a comparative analysis of the techniques by evaluating their applicability to various aspects of the compatibility problem.
منابع مشابه
Efficient Program Slicing Algorithms for Measuring Functional Cohesion and Parallelism
Program slicing is the task of finding all statements in a program that directly or indirectly influence the value of a variable occurrence. The set of statements that can affect the value of a variable at some point in a program is called a program slice. In several software engineering applications, such as program debugging and measuring program cohesion and parallelism, several slices are c...
متن کاملFormulation and Analysis of a Sequential Quadratic Programming Method for the Optimal Dirichlet Boundary Control of Navier–Stokes Flow
The optimal boundary control of Navier–Stokes flow is formulated as a constrained optimization problem and a sequential quadratic programming (SQP) approach is studied for its solution. Since SQP methods treat states and controls as independent variables and do not insist on satisfying the constraints during the iterations, care must be taken to avoid a possible incompatibility of Dirichlet bou...
متن کاملA Detailed CFD and Experimental Investigation of a Benchmark Turbulent Backward Facing Step Flow
A benchmark turbulent Backward Facing Step (BFS) airflow was studied in detail through a program of tightly coupled experimental and CFD analysis. The theoretical and experimental approaches were developed simultaneously in a “building block” approach and the results used to verify each “block”. Information from both CFD and experiment was used to develop confidence in the accuracy of each tech...
متن کاملModel-Based Compatibility Checking of System Modifications
Maintenance and evolution of software systems require to modify or exchange system components. In many cases, we would like the new component versions to be backward compatible to the old ones, at least for the use in the given context. Whereas on the program level formal techniques to precisely define and verify backward compatibility are under development, the situation on the system level is...
متن کاملSome Icowa Operators and their Applications to Group Decision Making with Interval Fuzzy Preference Relations
We develop some new cases of the induced continuous ordered weighted averaging (ICOWA) operator and study their desirable properties, which are very suitable to deal with group decision making (GDM) with interval fuzzy preference relations. First, we present the consensus indicator ICOWA (CI-ICOWA) operator which uses the consensus indicator of the interval fuzzy preference as the order inducin...
متن کامل